Андреева В. В. , Гошин Г. Г. , Матросова А. Ю. , Тычинский В. З. «Использование ROBDD-графов для тестирования задержек логических схем» // Известия вузов. Физика 2019. №5 C.86-94
Останин С. А. , Шульга С. А. , Матросова А. Ю. , Буторина Н. Б. , Митрофанов Е. В. , Пахомова Е. Г. «Обнаружение и маскирование вредоносных подсхем в последовательностных схемах» // Вестник ТГУ. УВТиИ. 2018. №42 C.89-99